Moduli Space of Cubic Surfaces as Ball Quotient via Hypergeometric Functions

摘要

We describe hypergeometric functions of Deligne-Mostow type for open subsetsof the configuration space of six points on P^2, induced from those for sevenpoints on P^1. The seven point ball quotient example DM(2^5,1^2) does notappear on Mostow's original list, but does appear on Thurston's correctedversion. We show that DM(2^5,1^2) is a finite cover of the moduli space ofcubic surfaces M_C endowed with the ball quotient structure G_C\B^4 of Allcock,Carlson, and Toledo. This answers a question of Allcock about thecommensurability of G_C with the monodromy groups of Deligne-Mostowhypergeometric functions.